Robert I Soare, "Recursively Enumuerable Sets and Degress"
計算可能性理論
について
Robert I Soare